Verification tasks. Verify the following properties:
3. merge merges correctly (permutation and sortedness)
